A Pattern Language for Porting Micro - kernelsMichel

Micro-kernels are diicult to port to a new hardware platform. During the initial phases of a port, much time and eeort is lost on debugging critical machine-dependent subsystems. These subsystems are generally very tightly coupled and cannot be tested in an incremental fashion. Tight coupling occurs because the subsystems share many global variables forcing them to be debugged with the complete micro-kernel's code. The problem of organizing and documenting new micro-kernel ports has so far received little attention, and the work described in this paper is an attempt to ll this gap. This paper describes a set of patterns (pattern language) which captures the design decisions of the initial porting procedure of micro-kernels for embedded systems in a systematic and incremental fashion. The problem, context, and solution behind major design patterns is presented along with an outline of their consequences, constraints and applicability to the port. In the course of several iterations, this pattern language has been reened through their use in porting of existing embedded micro-kernels to diierent hardware platforms.